<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	<title>Dr. Ying JIN's Homepage</title>
</head>

<!-- 样式表 -->
<style>
.clear {
border-top:1px solid transparent !important;
clear:both;
margin-top:-1px !important;
visibility:hidden;
}
div.info {
	margin-top:20px;
}
div.info p {
	margin:5px 20px;
}
h4 {
	font-size:18px;
	margin:5px;
}
</style>

<body>
<div style="width:90%; font-size:16px;">
	
	<div>
		<img src="jinying.JPG" alt="Dr. Ying JIN"
			style="float:left; width:340px; margin-right:15px;" />
		<div>
			<p style="text-align:right;"><a href="index.htm">Chinese</a></p>
			<h1>Ying JIN</h1>
			<h3>PhD, Associate Professor</h1>
			<h3>College of Computer Science & Technology</h3>
			<h3>Jilin University</h3>
			<br />
			<h3>Office：Computing Building A204</h3>
			<h3>Telephone：0431-85166480</h3>
			<h3>E -mail：jinying@jlu.edu.cn</h3>
		</div>
		
		<div class="clear"></div>
	</div>
	
	<div class="info">
		<h2><u>Education:</u></h2>
		<p>1998.9 - 2002.7, College of Computer Science and Technology, Jilin University， PhD.</p>
		<p>1995.9 - 1995.7, College of Computer Science and Technology, Jilin University，M.S.</p>
		<p>1988.9 - 1992.7, Department of Computer Science, Jilin University，B.S.</p>
	</div>
	
	<div class="info">
		<h2><u>Working Experience:</u></h2>
		<p>2004.12 - &nbsp; &nbsp;，College of Computer Science and Technology, Jilin University，Associate Professor</p>
		<p>2006.   - 2008.3 , SQRL at University of Limerick，Ireland, Consultant</p>
		<p>2003.11 - 2004.10, SQRL at University of Limerick，Ireland，Senior Researcher</p>
		<p>2002.07 - 2003.05, Jilin Province Kaiyuan Information Technology Ltd.， Technical General Manager</p>
		<p>1997.9  - 2004.  ,College of Computer Science and Technology, Jilin University， Lecturer</p>
		<p>1995.7  - 1997.9 , Department of Computer Science, Jilin University， Assistant Lecturer</p>
	</div>
	
	<div class="info">
		<h2><u>Research:</u></h2>
		<div>
			<p>Research interests include software formalization,Documenet driven software development,</p>
			<p>Mobile code security,program analysis, and implementation techniques of programming languages etc..</p>
			<br />
			<p>Several projects undertaking or participated：</p>
    		<p>“<a href="Projects.htm">Research on Aspect Oriented Document Driven Requirement Engineering Techniques</a>”，sponsored by China“863”High-tech Research and Development Programme，2007.9 - 2009.12, PI.</p>
    		<p>“<a href="Projects.htm">Research on Some Key Problems in Model Carrying Code</a>”，sponsored by National Nature Science Foundation，2007.1 - 2009.12. PI.</p>
    		<p>“Design and Implementation of ATLAS Compiler”，2003 - 2004, technicao PI.</p>
    		<p>“Monad based Software Automation Techniques”，2001.1 - 2002.12.</p>
    		<br />
			<p>Publication：</p>
    		<p>More than 20 papers have been published in such journals as "Jounal of Computer Science and Technology", "Journal of Software", and proceedings. <a href="YingJINPublication.htm">Detailed List...</a></p>
  		</div>
	</div>

	<div class="info">
		<h2><u>Teaching:</u></h2>
		<div>
			<p>Instructed "Compiler Construction" and "Operating System" for undergraduate students, and "Formal Semantics" for postgraduate students.</p>
			<p>Published three textbooks as coauthor.</p>
 			<br />
			<p>Instructed courses in English for "Semianr on Distance Education and Communication for African Educators".</p>
      	</div>
	</div>

	<div class="info">
		<h2><u>Others:</u></h2>
		<p>working abroad, traveling, attending conferences and research team activities etc..</p>
	</div>

	<p>&nbsp;</p>
</div>
</body>
</html>